`:top

`!Chen Chung Chang`! (`F33f`_`[Chinese`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Simplified_Chinese_characters]`_`f: 张晨钟) was a `F33f`_`[mathematician`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Mathematician]`_`f who worked in `F33f`_`[model theory`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Model_theory]`_`f. He obtained his PhD from `F33f`_`[Berkeley`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=UC_Berkeley]`_`f in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under `F33f`_`[Alfred Tarski`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Alfred_Tarski]`_`f. He wrote the standard text `F33f`_`[Chang & Keisler (1990)`#citerefchangkeisler1990]`_`f on model theory. `F33f`_`[Chang's conjecture`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Chang's_conjecture]`_`f and `F33f`_`[Chang's model`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Chang's_model]`_`f are named after him. He also proved the ordinal partition theorem (expressed in the `F33f`_`[arrow notation`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Arrow_notation_(Ramsey_theory)]`_`f for `F33f`_`[Ramsey theory`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Ramsey_theory]`_`f) ωω→(ωω,3)2, originally a problem of `F33f`_`[Erdős`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Paul_Erdős]`_`f and `F33f`_`[Hajnal`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=András_Hajnal]`_`f. He also introduced `F33f`_`[MV-algebras`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=MV-algebra]`_`f as models for `F33f`_`[Łukasiewicz logic`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Łukasiewicz_logic]`_`f. Chang was a professor at the mathematics department of the `F33f`_`[University of California, Los Angeles`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=University_of_California,_Los_Angeles]`_`f.

>>Selected publications

• `:citerefchangkeisler1966`aChang, Chen Chung; `F33f`_`[Keisler, H. Jerome`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Howard_Jerome_Keisler]`_`f (1966), `*Continuous Model Theory`*, Annals of Mathematical Studies, vol. 58, Princeton University Press, `F33f`_`[ISBN`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=ISBN_(identifier)]`_`f 0691079293; xii+165 pp.`B100`F9d9{{citation}}`f`b: CS1 maint: postscript (link)

• `:citerefchangkeisler1990`aChang, Chen Chung; `F33f`_`[Keisler, H. Jerome`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Howard_Jerome_Keisler]`_`f (1990), `*Model Theory`*, Studies in Logic and the Foundations of Mathematics (3rd ed.), `F33f`_`[Elsevier`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Elsevier]`_`f, `F33f`_`[ISBN`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=ISBN_(identifier)]`_`f 978-0-444-88054-3

• C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, 88, 467–490, 1958, `F33f`_`[doi`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Doi_(identifier)]`_`f:10.1090/S0002-9947-1958-0094302-9

`c`F0af`_`[↑ Back to top`#top]`_`f`a